rearrangement theorem of Pauli

泡利重排定理